User-Oriented Supervision of SDL-Speci ed Software

نویسنده

  • T. Savor
چکیده

The goal of software supervision is to detect failures of software systems during their operation. The supervisor is a unit which monitors the inputs and outputs of the target software system. Internally, it executes a model derived from the requirement speciication of the system. It compares the observed behavior with the speciied one and reports the discrepancies that occur as failures. This paper deals with the supervision of software programs whose requirements were speciied in the ITU Speciication and Description Language (SDL). A major diiculty with supervision of SDL-speciied programs arises from the non-determinisms present in the speciication. The supervisor must be able to accommodate all legitimate behavioral alternatives permissible under the speciication. This results in a large computational time and space complexity of supervision. In software systems that provide service to independent users, such as call processing software in telecom exchanges, the complexity of supervision can be reduced by taking the perspective of an individual user and detecting user-visible failures only. This paper presents an algorithm for derivation of user-oriented supervision models from the initial requirement speciication. The algorithm is exempliied with an SDL speciication of call processing for a small telephone exchange. The paper also describes a testbed in which the computational costs of full and user-oriented supervision for the small exchange were measured and compared. Results indicate that under heavier call processing loads, signiicant reduction in computational costs can be realized with user-oriented supervision, at the expense of reduced failure detection capability.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Early performance prediction of SDL/MSC specified systems by automated synthetic code generation

We present a new approach for early performance prediction based on MSC speci ed systems in the context of SDL Our approach is integrated into existing design methodologies as proposed by commercial tool vendors where communication software is fully speci ed in SDL and the nal implementation is derived from there Obviously the structure of the SDL speci cation will in uence the performance of t...

متن کامل

Extending the Translation from SDL to Promela

In this paper, we tackle the problem of model-checking SDL programs that use the save operator. Previous work on model-checking SDL programs with SPIN consists in translating SDL into IF (using sdl2if) and nally IF to Promela (if2pml). Nevertheless the save operator of SDL is not handled by the ( nal) translator if2pml. We propose an extension of the tool if2pml that translates IF programs with...

متن کامل

An approach to automatic detection of software failures

M. Hlady, R. Kovacevic, J.J. Li, B.R. Pekilis, D. Prairie, T. Savor, R.E. Seviora, D. Simser and A. Vorobiev Bell Canada Software Reliability Laboratory University of Waterloo Waterloo, Ontario, CANADA N2L 3G1 Abstract The focus of this paper is on an approach to the automatic failure detection of reactive software systems called speci cation-based supervision. Assumed is that the software is s...

متن کامل

System Speci cation and Veri cation Using High Level Concepts

This paper describes a sample modelling and veri cation session using SDL and SPIN modelchecker via the PEP tool. We will focus on the tight integration of all involved tools allowing the user to stay within his known environment of SDL speci cation. Thus the user need not know about the underlying Petri net or the Promela language even while formulating the properties to be checked.

متن کامل

An Architectural Overview of a Software Supervisor

T. Savor and R.E. Seviora ([email protected], [email protected]) Bell Canada Software Reliability Laboratory University of Waterloo Waterloo, Ontario, Canada N2L 3G1 Abstract Speci cation-based software supervision is an approach to the automatic run-time detection of failures. The supervisor is a unit that monitors the inputs and outputs of a target software system and reports d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995